（来源：上观新闻）
在机器人领🏂🦍域，平均无故🙊🧺障无时间是衡🍌量系统可靠性的💌核心指标🥥。Agent和🥿🤶AI编程也是De🇦🇽🚷epS🏳🛸eek的🕐🤼♂️短板🇻🇺。比如，去年人🇰🇲形机器人普👨👧👼遍搭载的是锂电池💧🎱，而今年能⏸🇦🇽量密度更🇹🇭🧪高的半固💴🇦🇿态电池开📖👫始被使用🇺🇾🔼。AI4S获得巨大👶💶关注的背后，人工🔆智能越来越受全球🐰关注，自202🏮5年以🥠😋来，欧洲、美国🌱🇿🇼、日本等纷🕰🔢纷出台相关☄规划，加速人工智📑能产业发展，在🚮⚾中国方面，🍰“十五五”规划🇲🇹五十路中文纲要提出，抢占人⏲工智能产业应👨❤️💋👨用制高点，全方📞🦇位赋能千行百业⚽。
在 LLM🥢 时代👨👦⛷，如何让形式化💝👀方法的脚步快速🏸🇱🇷跟上编8️⃣程智能体的发🇲🇷展速度变💈😁得越发重要🥳🥏。去年，🇬🇱💀他还与谢赛✊宁共同获得🙍了CVP✋🚝R青年学者奖，理🦠🐣由是表彰他们在计🌮♾️算机视觉领域的杰👩🎓出贡献⬆。当模型参🤭数量级持续攀升，💲每张GPU等待🚱数据从内存读🍡🏸入的时间占比越🚵🇲🇦来越大，导致大量👨❤️👨🤚算力被白🔲白浪费在等待🇵🇾🙋♂️上📐。价格战😪🙌带来的短期🆓🇰🇾利益，掩🌛🥿盖了长期风🍃险⏩🇳🇷。
